Preprint version of paper in Achille Varzi and Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS 2004), Amsterdam: IOS Press, 2004, 37–48. Individuals, U

Source URL: ontology.buffalo.edu

FOIS 2012: 7th International Conference on Formal Ontology in Information Systems Suggestions for Galaxy Workflow Design Using Semantically Annotated Services

Source URL: mango.ctegd.uga.edu

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Source URL: www-verimag.imag.fr

• Hardware description languages
• Synchronous programming languages
• Software engineering
• Formal methods
• Computing
• Electronic engineering
• Esterel
• SIGNAL
• Model checking
• Embedded system
• Real-time computing
• Esterel Technologies

Issues Concerning AI Transparency

Source URL: intelligence.org

• Cybernetics
• Systems science
• Academia
• Technology
• Artificial intelligence
• Computational neuroscience
• Formal sciences
• Deep learning
• Expert system
• User

Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat

Source URL: www.ncgia.buffalo.edu

• Ontology
• Knowledge representation
• Information science
• Technical communication
• Semantic Web
• Information
• Knowledge
• Upper ontology
• Formal ontology
• Web Ontology Language
• Draft:Outline of ontologies
• Semantic interoperability

RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1

Source URL: rodin.cs.ncl.ac.uk

• Software
• Computing
• Formal methods
• Software engineering
• Dependability
• Quality
• Safety
• Safety engineering
• Systems engineering
• B-Method
• Project management
• Programming tool

Systems Biology A Role for Computational Thinking Models, Formal Systems and Inference

Source URL: homepages.inf.ed.ac.uk

• Jane Hillston
• Laboratory for Foundations of Computer Science
• Systems theory
• Systems thinking
• Edinburgh
• Life skills
• Academia

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft C´esar Mu˜ noz and Anthony Narkawicz? NASA Langley Research Center, Hampton, Virginia {cesar.a.munoz,anthony.narkawicz}@nasa.gov

Source URL: shemesh.larc.nasa.gov

• Avionics
• Aircraft collision avoidance systems
• Warning systems
• Traffic collision avoidance system
• Technology